#ifndef __ISA_H__
#define __ISA_H__
#include "common.h"
typedef struct {
  uint64_t gpr[32];
  vaddr_t pc;
} CPU_state;
extern CPU_state cpu_state;

bool isa_difftest_checkregs(CPU_state *ref, vaddr_t pc);
word_t isa_reg_str2val(const char *s, bool *success);
void isa_reg_display(CPU_state *cpu);
void updata_cpu_state(uint64_t pc, uint64_t *gpr);
void updata_cpu_reg(uint64_t *gpr);
#endif